Constructing Invariant Heine-borel Metrics for Proper G-spaces
نویسنده
چکیده
We show that a group G acts properly and effectively on a locally compact and σ-compact metric space (X, d) if and only if there exists a compatible G-invariant Heine-Borel metric dp on X such that G is homeomorphic to a closed subgroup of the group of isometries Iso(X, dp).
منابع مشابه
Invariant measures via inverse limits of finite structures
Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are invariant under all permutations of the underlying set that fix all constants. These measures are constructed from inverse limits of measures on certain finite str...
متن کاملTheorem Proving by Analogy - A Compelling Example
This paper shows how a new approach to theorem proving by analogy is applicable to real maths problems. This approach works at the level of proof-plans and employs reformulation that goes beyond symbol mapping. The Heine-Borel theorem is a widely known result in mathematics. It is usually stated in R 1 and similar versions are also true in R 2 , in topology, and metric spaces. Its analogical tr...
متن کاملShift Invariant Spaces and Shift Preserving Operators on Locally Compact Abelian Groups
We investigate shift invariant subspaces of $L^2(G)$, where $G$ is a locally compact abelian group. We show that every shift invariant space can be decomposed as an orthogonal sum of spaces each of which is generated by a single function whose shifts form a Parseval frame. For a second countable locally compact abelian group $G$ we prove a useful Hilbert space isomorphism, introduce range funct...
متن کاملAn Implementation of the Heine-Borel Covering Theorem in Type Theory
We describe an implementation in type theory of a proof of a pointfree formulation of the Heine Borel covering theorem for intervals with rational endpoints
متن کامل. D G ] 1 4 A ug 2 00 6 INVARIANT METRICS ON SO ( 4 ) WITH NONNEGATIVE CURVATURE
The starting point for constructing all known examples of compact manifolds with positive (or even quasi-positive) curvature is the fact that bi-invariant metrics on compact Lie groups are nonnegatively curved. In order to generalize this fundamental starting point, we address the question: given a compact Lie group G, classify the left-invariant metrics on G which have nonnegative curvature. T...
متن کامل